@ARTICLE{rw1,
	AUTHOR = "S. Anand, A. Orso, and M. J. Harrold",
	TITLE = "Type-Dependence Analysis and Program Transformation for Symbolic Execution",
	JOURNAL = {Proc. TACAS},
	PAGES = {117-133},
	YEAR = {2003}	}
	
@ARTICLE{rw2,
	AUTHOR = "C. Pavlopoulou and M. Young",
	TITLE = "Residual Test Coverage Monitoring",
	JOURNAL = {Proc. ICSE},
	PAGES = {277-284},
	YEAR = {1999}	}
	
@ARTICLE{rw3,
	AUTHOR = "D. von Dincklage and A. Diwan",
	TITLE = "Explaining failures of program analyses",
	JOURNAL = {Proc. PLDI},
	PAGES = {260-269},
	YEAR = {2008}	}

@ARTICLE{put,
	AUTHOR = "Nikolai Tillmann and Wolfram Schulte",
	TITLE = "Parameterized Unit Tests",
	JOURNAL = {ACM SIGSOFT Software Engineering Notes},
	VOLUME = {30},
	PAGES = {253-262},
	MONTH = "September",
	YEAR = {2005}	}
	
@ARTICLE{dse2004,
	AUTHOR = "Nicky Williams, Bruno Marre and Patricia Mouy",
	TITLE = "On-the-Fly Generation of K-Path Tests for C Functions",
	JOURNAL = {Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)},
	PAGES = {290-293},
	MONTH = "September",
	YEAR = {2004}	}			

@ARTICLE{dart,
	AUTHOR = "P. Godefroid, N. Klarlund, and K. Sen. DART",
	TITLE = "DART: Directed Automated Random Testing",
	JOURNAL = {PLDI '05 Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
	VOLUME = {40},
	NUMBER = {6},
	PAGES = {213-223},
	MONTH = "June",
	YEAR = {2005}	}
	
@ARTICLE{cute,
	AUTHOR = "K. Sen, D. Marinov, and G. Agha",
	TITLE = "CUTE: a Concolic Unit Testing Engine for C",
	JOURNAL = {ACM Trans. Program. Lang. Syst.},
	VOLUME = {30},
	NUMBER = {5},
	PAGES = {263-272},
	MONTH = "September",
	YEAR = {2005}	}

@BOOK{sommerville,
	AUTHOR = "Ian Sommerville",
	TITLE = "Software Engineering",
	PUBLISHER = "Pearson Addison-Wesley Publishing Company",
	ADDRESS = "Ribera del Loira, Madrid",
	YEAR = {2005}	}
	
@misc{pex,
  TITLE = {{Pex, Automated White box Testing for .NET}},
  howpublished = "\url{http://research.microsoft.com/en-us/projects/pex/}",
  YEAR = {2008} 
}

@misc{svnBridge,
  TITLE = {{SvnBridge - Use TortoiseSVN with Team Foundation Server}},
  howpublished = "\url{http://svnbridge.codeplex.com/}",
  YEAR = {2009} 
}

@misc{xUnit,
  TITLE = {{xUnit}},
  howpublished = "\url{http://xunit.codeplex.com/}",
  YEAR = {2007} 
}

@misc{math,
  TITLE = {{Math.NET}},
  howpublished = "\url{http://www.mathdotnet.com/}",
  YEAR = {2008} 
}

@misc{quickGraph,
  TITLE = {{QuickGraph}},
  howpublished = "\url{http://quickgraph.codeplex.com/}",
  YEAR = {2008} 
}

@misc{wiki,
  TITLE = "Concolic testing",
  howpublished = "\url{http://en.wikipedia.org/wiki/Concolic_execution}",
  YEAR = {2011} 
}